the set { a b√2 where a and b are rational number } form a group